export const UPDATE_SERVER = 'UPDATE_SERVER';
export const UPDATE_DISCOVERED_RESOURCES = 'UPDATE_DISCOVERED_RESOURCES';
export const RESET_DISCOVERED_RESOURCES = 'RESET_DISCOVERED_RESOURCES';
export const HIDE_SERVER_RESOURCE_CONTROL_UI = 'HIDE_SERVER_RESOURCE_CONTROL_UI';
export const SHOW_SERVER_RESOURCE_CONTROL_UI = 'SHOW_SERVER_RESOURCE_CONTROL_UI';
export const HIDE_CLIENT_RESOURCE_CONTROL_UI = 'HIDE_CLIENT_RESOURCE_CONTROL_UI';
export const SHOW_CLIENT_RESOURCE_CONTROL_UI = 'SHOW_CLIENT_RESOURCE_CONTROL_UI';
export const UPDATE_GET_RESOURCE_RESULTS='UPDATE_GET_RESOURCE_RESULTS';
export const UPDATE_OBSERVE_RESOURCE_RESULTS='UPDATE_OBSERVE_RESOURCE_RESULTS';
export const SHOW_RESOURCES_LIST='SHOW_RESOURCES_LIST';